Prove
Digital Assets, Privacy, Identity, AI Agents, and Blockchains.Digital Assets|

Succinct uses cryptography to replace trust with mathematical certainty

1. Write

   use rsa::RsaPublicKey;
   use sha2::{Digest, Sha256};
   
   fn main() {
     let pk = sp1::io::read();
     let msg = sp1::io::read();
     let sig = sp1::io::read();
     pk.verify(msg, sig)?;
     sp1::io::commit(true);
   }

   Make zero-knowledge easy

   SP1, our zkVM, compiles Rust into zero-knowledge proofs you can ship and maintain with ease.

   Write your first program
2. Prove

   The Rest204ms

   

   SP124ms

   

   Proofs at warp speed

   Generate zero-knowledge proofs locally or use our prover network with SP1 at peak performance.

   Prove at scale
3. Verify

   

   Build with privacy & verifiability, anywhere.

   Verify SP1 proofs in real time with minimal latency.

   Integrate